-
1 теорема о дедукции
-
2 теорема о дедукции
Русско-английский математический словарь > теорема о дедукции
-
3 теорема о дедукции
-
4 теорема о дедукции
deduction theorem мат.Русско-английский научно-технический словарь Масловского > теорема о дедукции
-
5 дедукция
-
6 гипотетическая дедукция
-
7 теорема дедукции
Mathematics: deduction theorem -
8 теорема о дедукции
Mathematics: deduction theoremУниверсальный русско-английский словарь > теорема о дедукции
-
9 вычет
1. м. мат. вчт., residue2. м. deductionСинонимический ряд:удержание (сущ.) удержание -
10 следствие
consequence, corollary, implication• Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...• Его существование, как легко можно убедиться, есть простое следствие... - Its existence can simply be seen as a consequence of...• Еще одним следствием этих результатов является то, что... - One further consequence of these results is that...• Как немедленное следствие мы имеем... - As an immediate corollary we have...• Как следствие, был сделан больший упор на... - As a result there has been much emphasis on...• Как следствие, должно быть... - As a result, there should be...• Как следствие, имеется изменение характера... - As a result there is a change in the character of...• Очевидным следствием соотношения (1) является формула... - An obvious deduction from (1) is the formula...• Помимо прочих следствий, данный результат показывает, что... - Among other things, this result shows that...• Практическим следствием (этого) является то, что... - The practical implication is that...• Предположительно, это следствие (чего-л). - This is presumably a consequence of...• Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...• Следствием этого является то, что нам стало понятно, что означает... - This implies that we understand what is meant by...• Следующие теорема и ее следствие немедленно выводятся из... - The following theorem and corollary are immediate consequences of...• Утверждение (i) есть следствие леммы 3. - Assertion (i) is a consequence of Lemma 3.• Эти далеко ведущие следствия. - The consequences are far-reaching.• Эти результаты являются следствием... - These results are a consequence of...• Это немедленное (= прямое) следствие определения. - It is an immediate consequence of the definition.• Это необходимое следствие того факта, что... - This is a necessary consequence of the fact that...• Это просто следствие того факта, что... - This is simply a consequence of the fact that...• Это свойство является почти очевидным как следствие (того) факта, что... - This property is almost evident from the fact that...• Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem.(чего-л). - This is an almost immediate corollary of... -
11 степенной вычет
См. также в других словарях:
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
deduction theorem — The theorem provable about some logical systems, that if a conclusion C can be proved from a set of premises A1…An, then there is a proof of An→ C from A1…An–1 … Philosophy dictionary
theorem — [n] explanation based on hypothesis and experiments assumption, axiom, belief, deduction, dictum, doctrine, formula, fundamental, law, postulate, principium, principle, proposition, rule, statement, theory, thesis; concepts 529,688,689 Ant. fact … New thesaurus
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
theorem — Synonyms and related words: a priori principle, a priori truth, affirmation, apriorism, assertion, assumed position, assumption, axiom, basis, brocard, categorical proposition, conjecture, data, deduction, dictate, dictum, first principles,… … Moby Thesaurus
Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia